Thứ tự yếu
Thứ tự yếu

Thứ tự yếu

Trong toán học, đặc biệt là trong lý thuyết thứ tự, thứ tự yếu (hay quan hệ thứ tự yếu) hình thức hóa khái niệm hạng của một tập hợp, trong đó một số phần tử ngang hàng với nhau.Thứ tự yếu là dạng tổng quát của tập sắp thứ tự toàn phần (không có cặp phần tử nào ngang nhau) còn dạng tổng quát của nó là tập hợp sắp thứ tự một phần (nghiêm ngặt) và tiền thứ tự.[1]Có nhiều cách khác nhau dùng để hình thức hóa thứ tự yếu, và đặc biệt là mỗi cách này đều có thể biến đổi thành cách khác khác mà không làm mất thông tin: chúng có thể coi là các thứ tự yếu nghiêm ngặt (tập sắp thứ tự một phần trong đó tính không so sánh được là quan hệ bắc cầu), hoặc là tiền thứ tự toàn phần (quan hệ hai ngôi có tính bắc cầu sao cho tồn tại ít nhất một trong hai quan hệ khả thi cho mọi cặp phần tử) hoặc là các phân hoạch được sắp (phân hoạch các phần tử thành các tập con không giao nhau đôi một, cùng với thứ tự toàn phần trên các tập con đó). Ngoài ra trong nhiều trường hợp còn có biểu diễn khác gọi là sắp xếp ưu tiên dựa trên hàm tiện ích.[2]Số thứ tự yếu được đếm theo số Bell được sắp. Trong khoa học máy tính, chúng là một phần của các thuật toán mịn hoá phân hoạch và trong thư viện chuẩn C++.[3]